0.09/0.43 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.11/0.48 % Command : run_portfolio.sh /export/starexec/sandbox2/benchmark/theBenchmark.p /export/starexec/sandbox2/tmp/tmp.IqKMVTGpTq 0.20/1.28 % Computer : n025.cluster.edu 0.20/1.28 % Model : x86_64 x86_64 0.20/1.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.20/1.28 % Memory : 8042.1875MB 0.20/1.28 % OS : Linux 3.10.0-693.el7.x86_64 0.20/1.28 % CPULimit : 960 0.20/1.28 % DateTime : Thu Jul 2 08:43:19 EDT 2020 0.20/1.28 % CPUTime : 0.20/1.28 % Running portfolio for 120 s 0.20/1.28 % File : /export/starexec/sandbox2/benchmark/theBenchmark.p 0.20/1.28 % Number of cores: 8 0.20/1.28 % Python version: Python 3.6.8 0.20/1.28 % Running in HO mode 0.25/1.61 % Estimated wc time : 1286 0.25/1.61 % Estimated cpu time (7 cpus) : 183.71428571428572 1.21/1.67 % /export/starexec/sandbox2/solver/bin/lams/s6.sh running for 21s 1.21/1.67 % /export/starexec/sandbox2/solver/bin/lams/new_b3.2.norw.sh running for 15s 1.34/1.68 % /export/starexec/sandbox2/solver/bin/lams/b.rpo.sh running for 21s 1.34/1.68 % /export/starexec/sandbox2/solver/bin/lams/s6.ds.sh running for 10s 1.34/1.68 % /export/starexec/sandbox2/solver/bin/lams/c.s.2.sh running for 68s 1.34/1.69 % /export/starexec/sandbox2/solver/bin/lams/c.easy.sh running for 26s 1.34/1.70 % /export/starexec/sandbox2/solver/bin/lams/old_b3.avatar.sh running for 15s 70.44/11.70 % /export/starexec/sandbox2/solver/bin/lams/old_sp2.sh running for 17s 105.02/16.74 % /export/starexec/sandbox2/solver/bin/lams/b.sh running for 31s 105.63/17.02 % /export/starexec/sandbox2/solver/bin/lams/sh1.sh running for 26s 144.80/22.70 % /export/starexec/sandbox2/solver/bin/lams/b.lsimp.sh running for 17s 148.10/23.28 % /export/starexec/sandbox2/solver/bin/lams/b.split.sh running for 31s 181.29/28.11 % /export/starexec/sandbox2/solver/bin/lams/s4.sh running for 15s 185.59/28.74 % /export/starexec/sandbox2/solver/bin/lams/b.rw.sh running for 26s 262.27/39.83 % /export/starexec/sandbox2/solver/bin/lams/c_ic.sh running for 42s 264.35/40.21 % /export/starexec/sandbox2/solver/bin/lams/s1.f.sh running for 15s 285.77/43.53 % /export/starexec/sandbox2/solver/bin/lams/c.preprocess2.sh running for 21s 286.39/43.63 % /export/starexec/sandbox2/solver/bin/lams/sh.or.sh running for 26s 316.13/47.94 % /export/starexec/sandbox2/solver/bin/lams/new.cs3.comb.sh running for 18s 361.91/54.57 % /export/starexec/sandbox2/solver/bin/lams/old_b2.sh running for 31s 369.32/56.05 % /export/starexec/sandbox2/solver/bin/lams/sp5.sh running for 36s 420.31/64.76 % /export/starexec/sandbox2/solver/bin/lams/b2.sh running for 15s 429.45/66.44 % /export/starexec/sandbox2/solver/bin/lams/b.lcnf.od.sh running for 26s 440.36/68.37 % /export/starexec/sandbox2/solver/bin/lams/c.s.sh running for 36s 451.06/70.01 % /export/starexec/sandbox2/solver/bin/lams/b3.sh running for 26s 468.66/73.00 % /export/starexec/sandbox2/solver/bin/lams/cmb.lcnf.sh running for 10s 515.48/79.97 % /export/starexec/sandbox2/solver/bin/lams/sh.eqenc.sh running for 17s 535.06/83.15 % /export/starexec/sandbox2/solver/bin/lams/p.ll.e2.sh running for 17s 550.15/85.45 % /export/starexec/sandbox2/solver/bin/lams/c.cmb.sh running for 21s 600.00/92.54 % /export/starexec/sandbox2/solver/bin/lams/cs1.sh running for 47s 605.49/93.61 % /export/starexec/sandbox2/solver/bin/lams/old_s4.sh running for 36s 626.74/96.93 % /export/starexec/sandbox2/solver/bin/lams/old.cs2combs.sh running for 23s 630.00/97.43 % /export/starexec/sandbox2/solver/bin/lams/b5.sh running for 7s 652.03/100.64 % /export/starexec/sandbox2/solver/bin/lams/eignore3.sh running for 36s 678.42/104.47 % /export/starexec/sandbox2/solver/bin/lams/e_lift.sh running for 38s 679.90/104.77 % /export/starexec/sandbox2/solver/bin/lams/e_lift_late.sh running for 31s 692.22/106.73 % /export/starexec/sandbox2/solver/bin/lams/s6.2.sh running for 10s 762.39/116.83 % /export/starexec/sandbox2/solver/bin/lams/sh.linf.sh running for 23s 783.10/120.16 /usr/lib64/python3.6/multiprocessing/semaphore_tracker.py:55: UserWarning: semaphore_tracker: process died unexpectedly, relaunching. Some semaphores might leak. 783.10/120.16 warnings.warn('semaphore_tracker: process died unexpectedly, ' 783.10/120.18 Alarm clock 783.10/120.18 % Zipperpin 1.5 exiting 783.10/120.19 EOF